function $clinit_125(){
  $clinit_125 = nullMethod;
  $ElementName_0(new ElementName, null);
  A = $ElementName(new ElementName, 'a', 'a', 1, false, false, false);
  B = $ElementName(new ElementName, 'b', 'b', 45, false, false, false);
  G = $ElementName(new ElementName, 'g', 'g', 0, false, false, false);
  I = $ElementName(new ElementName, 'i', 'i', 45, false, false, false);
  P = $ElementName(new ElementName, 'p', 'p', 29, true, false, false);
  Q = $ElementName(new ElementName, 'q', 'q', 0, false, false, false);
  S = $ElementName(new ElementName, 's', 's', 45, false, false, false);
  U = $ElementName(new ElementName, 'u', 'u', 45, false, false, false);
  BR = $ElementName(new ElementName, 'br', 'br', 4, true, false, false);
  CI = $ElementName(new ElementName, 'ci', 'ci', 0, false, false, false);
  CN = $ElementName(new ElementName, 'cn', 'cn', 0, false, false, false);
  DD = $ElementName(new ElementName, 'dd', 'dd', 41, true, false, false);
  DL = $ElementName(new ElementName, 'dl', 'dl', 46, true, false, false);
  DT = $ElementName(new ElementName, 'dt', 'dt', 41, true, false, false);
  EM = $ElementName(new ElementName, 'em', 'em', 45, false, false, false);
  EQ = $ElementName(new ElementName, 'eq', 'eq', 0, false, false, false);
  FN = $ElementName(new ElementName, 'fn', 'fn', 0, false, false, false);
  H1 = $ElementName(new ElementName, 'h1', 'h1', 42, true, false, false);
  H2 = $ElementName(new ElementName, 'h2', 'h2', 42, true, false, false);
  H3 = $ElementName(new ElementName, 'h3', 'h3', 42, true, false, false);
  H4 = $ElementName(new ElementName, 'h4', 'h4', 42, true, false, false);
  H5 = $ElementName(new ElementName, 'h5', 'h5', 42, true, false, false);
  H6 = $ElementName(new ElementName, 'h6', 'h6', 42, true, false, false);
  GT = $ElementName(new ElementName, 'gt', 'gt', 0, false, false, false);
  HR = $ElementName(new ElementName, 'hr', 'hr', 22, true, false, false);
  IN_0 = $ElementName(new ElementName, 'in', 'in', 0, false, false, false);
  LI = $ElementName(new ElementName, 'li', 'li', 15, true, false, false);
  LN = $ElementName(new ElementName, 'ln', 'ln', 0, false, false, false);
  LT = $ElementName(new ElementName, 'lt', 'lt', 0, false, false, false);
  MI = $ElementName(new ElementName, 'mi', 'mi', 57, false, false, false);
  MN = $ElementName(new ElementName, 'mn', 'mn', 57, false, false, false);
  MO = $ElementName(new ElementName, 'mo', 'mo', 57, false, false, false);
  MS = $ElementName(new ElementName, 'ms', 'ms', 57, false, false, false);
  OL = $ElementName(new ElementName, 'ol', 'ol', 46, true, false, false);
  OR = $ElementName(new ElementName, 'or', 'or', 0, false, false, false);
  PI = $ElementName(new ElementName, 'pi', 'pi', 0, false, false, false);
  RP = $ElementName(new ElementName, 'rp', 'rp', 53, false, false, false);
  RT_0 = $ElementName(new ElementName, 'rt', 'rt', 53, false, false, false);
  TD = $ElementName(new ElementName, 'td', 'td', 40, false, true, false);
  TH = $ElementName(new ElementName, 'th', 'th', 40, false, true, false);
  TR = $ElementName(new ElementName, 'tr', 'tr', 37, true, false, true);
  TT = $ElementName(new ElementName, 'tt', 'tt', 45, false, false, false);
  UL = $ElementName(new ElementName, 'ul', 'ul', 46, true, false, false);
  AND = $ElementName(new ElementName, 'and', 'and', 0, false, false, false);
  ARG = $ElementName(new ElementName, 'arg', 'arg', 0, false, false, false);
  ABS = $ElementName(new ElementName, 'abs', 'abs', 0, false, false, false);
  BIG = $ElementName(new ElementName, 'big', 'big', 45, false, false, false);
  BDO = $ElementName(new ElementName, 'bdo', 'bdo', 0, false, false, false);
  CSC = $ElementName(new ElementName, 'csc', 'csc', 0, false, false, false);
  COL = $ElementName(new ElementName, 'col', 'col', 7, true, false, false);
  COS = $ElementName(new ElementName, 'cos', 'cos', 0, false, false, false);
  COT = $ElementName(new ElementName, 'cot', 'cot', 0, false, false, false);
  DEL = $ElementName(new ElementName, 'del', 'del', 0, false, false, false);
  DFN = $ElementName(new ElementName, 'dfn', 'dfn', 0, false, false, false);
  DIR_0 = $ElementName(new ElementName, 'dir', 'dir', 51, true, false, false);
  DIV = $ElementName(new ElementName, 'div', 'div', 50, true, false, false);
  EXP = $ElementName(new ElementName, 'exp', 'exp', 0, false, false, false);
  GCD = $ElementName(new ElementName, 'gcd', 'gcd', 0, false, false, false);
  GEQ = $ElementName(new ElementName, 'geq', 'geq', 0, false, false, false);
  IMG = $ElementName(new ElementName, 'img', 'img', 48, true, false, false);
  INS = $ElementName(new ElementName, 'ins', 'ins', 0, false, false, false);
  INT = $ElementName(new ElementName, 'int', 'int', 0, false, false, false);
  KBD = $ElementName(new ElementName, 'kbd', 'kbd', 0, false, false, false);
  LOG = $ElementName(new ElementName, 'log', 'log', 0, false, false, false);
  LCM = $ElementName(new ElementName, 'lcm', 'lcm', 0, false, false, false);
  LEQ = $ElementName(new ElementName, 'leq', 'leq', 0, false, false, false);
  MTD = $ElementName(new ElementName, 'mtd', 'mtd', 0, false, false, false);
  MIN_0 = $ElementName(new ElementName, 'min', 'min', 0, false, false, false);
  MAP = $ElementName(new ElementName, 'map', 'map', 0, false, false, false);
  MTR = $ElementName(new ElementName, 'mtr', 'mtr', 0, false, false, false);
  MAX_0 = $ElementName(new ElementName, 'max', 'max', 0, false, false, false);
  NEQ = $ElementName(new ElementName, 'neq', 'neq', 0, false, false, false);
  NOT = $ElementName(new ElementName, 'not', 'not', 0, false, false, false);
  NAV = $ElementName(new ElementName, 'nav', 'nav', 51, true, false, false);
  PRE = $ElementName(new ElementName, 'pre', 'pre', 44, true, false, false);
  REM = $ElementName(new ElementName, 'rem', 'rem', 0, false, false, false);
  SUB = $ElementName(new ElementName, 'sub', 'sub', 52, false, false, false);
  SEC = $ElementName(new ElementName, 'sec', 'sec', 0, false, false, false);
  SVG = $ElementName(new ElementName, 'svg', 'svg', 19, false, false, false);
  SUM = $ElementName(new ElementName, 'sum', 'sum', 0, false, false, false);
  SIN = $ElementName(new ElementName, 'sin', 'sin', 0, false, false, false);
  SEP = $ElementName(new ElementName, 'sep', 'sep', 0, false, false, false);
  SUP = $ElementName(new ElementName, 'sup', 'sup', 52, false, false, false);
  SET = $ElementName(new ElementName, 'set', 'set', 0, false, false, false);
  TAN = $ElementName(new ElementName, 'tan', 'tan', 0, false, false, false);
  USE = $ElementName(new ElementName, 'use', 'use', 0, false, false, false);
  VAR = $ElementName(new ElementName, 'var', 'var', 52, false, false, false);
  WBR = $ElementName(new ElementName, 'wbr', 'wbr', 49, true, false, false);
  XMP = $ElementName(new ElementName, 'xmp', 'xmp', 38, false, false, false);
  XOR = $ElementName(new ElementName, 'xor', 'xor', 0, false, false, false);
  AREA = $ElementName(new ElementName, 'area', 'area', 49, true, false, false);
  ABBR_0 = $ElementName(new ElementName, 'abbr', 'abbr', 0, false, false, false);
  BASE_0 = $ElementName(new ElementName, 'base', 'base', 2, true, false, false);
  BVAR = $ElementName(new ElementName, 'bvar', 'bvar', 0, false, false, false);
  BODY = $ElementName(new ElementName, 'body', 'body', 3, true, false, false);
  CARD = $ElementName(new ElementName, 'card', 'card', 0, false, false, false);
  CODE_0 = $ElementName(new ElementName, 'code', 'code', 45, false, false, false);
  CITE_0 = $ElementName(new ElementName, 'cite', 'cite', 0, false, false, false);
  CSCH = $ElementName(new ElementName, 'csch', 'csch', 0, false, false, false);
  COSH = $ElementName(new ElementName, 'cosh', 'cosh', 0, false, false, false);
  COTH = $ElementName(new ElementName, 'coth', 'coth', 0, false, false, false);
  CURL = $ElementName(new ElementName, 'curl', 'curl', 0, false, false, false);
  DESC = $ElementName(new ElementName, 'desc', 'desc', 59, false, false, false);
  DIFF = $ElementName(new ElementName, 'diff', 'diff', 0, false, false, false);
  DEFS = $ElementName(new ElementName, 'defs', 'defs', 0, false, false, false);
  FORM_0 = $ElementName(new ElementName, 'form', 'form', 9, true, false, false);
  FONT = $ElementName(new ElementName, 'font', 'font', 64, false, false, false);
  GRAD = $ElementName(new ElementName, 'grad', 'grad', 0, false, false, false);
  HEAD = $ElementName(new ElementName, 'head', 'head', 20, true, false, false);
  HTML_0 = $ElementName(new ElementName, 'html', 'html', 23, false, true, false);
  LINE = $ElementName(new ElementName, 'line', 'line', 0, false, false, false);
  LINK_0 = $ElementName(new ElementName, 'link', 'link', 16, true, false, false);
  LIST_0 = $ElementName(new ElementName, 'list', 'list', 0, false, false, false);
  META = $ElementName(new ElementName, 'meta', 'meta', 18, true, false, false);
  MSUB = $ElementName(new ElementName, 'msub', 'msub', 0, false, false, false);
  MODE_0 = $ElementName(new ElementName, 'mode', 'mode', 0, false, false, false);
  MATH = $ElementName(new ElementName, 'math', 'math', 17, false, false, false);
  MARK = $ElementName(new ElementName, 'mark', 'mark', 0, false, false, false);
  MASK_0 = $ElementName(new ElementName, 'mask', 'mask', 0, false, false, false);
  MEAN = $ElementName(new ElementName, 'mean', 'mean', 0, false, false, false);
  MSUP = $ElementName(new ElementName, 'msup', 'msup', 0, false, false, false);
  MENU = $ElementName(new ElementName, 'menu', 'menu', 50, true, false, false);
  MROW = $ElementName(new ElementName, 'mrow', 'mrow', 0, false, false, false);
  NONE = $ElementName(new ElementName, 'none', 'none', 0, false, false, false);
  NOBR = $ElementName(new ElementName, 'nobr', 'nobr', 24, false, false, false);
  NEST = $ElementName(new ElementName, 'nest', 'nest', 0, false, false, false);
  PATH_0 = $ElementName(new ElementName, 'path', 'path', 0, false, false, false);
  PLUS = $ElementName(new ElementName, 'plus', 'plus', 0, false, false, false);
  RULE = $ElementName(new ElementName, 'rule', 'rule', 0, false, false, false);
  REAL = $ElementName(new ElementName, 'real', 'real', 0, false, false, false);
  RELN = $ElementName(new ElementName, 'reln', 'reln', 0, false, false, false);
  RECT = $ElementName(new ElementName, 'rect', 'rect', 0, false, false, false);
  ROOT = $ElementName(new ElementName, 'root', 'root', 0, false, false, false);
  RUBY = $ElementName(new ElementName, 'ruby', 'ruby', 52, false, false, false);
  SECH = $ElementName(new ElementName, 'sech', 'sech', 0, false, false, false);
  SINH = $ElementName(new ElementName, 'sinh', 'sinh', 0, false, false, false);
  SPAN_0 = $ElementName(new ElementName, 'span', 'span', 52, false, false, false);
  SAMP = $ElementName(new ElementName, 'samp', 'samp', 0, false, false, false);
  STOP = $ElementName(new ElementName, 'stop', 'stop', 0, false, false, false);
  SDEV = $ElementName(new ElementName, 'sdev', 'sdev', 0, false, false, false);
  TIME = $ElementName(new ElementName, 'time', 'time', 0, false, false, false);
  TRUE = $ElementName(new ElementName, 'true', 'true', 0, false, false, false);
  TREF = $ElementName(new ElementName, 'tref', 'tref', 0, false, false, false);
  TANH = $ElementName(new ElementName, 'tanh', 'tanh', 0, false, false, false);
  TEXT_0 = $ElementName(new ElementName, 'text', 'text', 0, false, false, false);
  VIEW = $ElementName(new ElementName, 'view', 'view', 0, false, false, false);
  ASIDE = $ElementName(new ElementName, 'aside', 'aside', 51, true, false, false);
  AUDIO = $ElementName(new ElementName, 'audio', 'audio', 0, false, false, false);
  APPLY = $ElementName(new ElementName, 'apply', 'apply', 0, false, false, false);
  EMBED = $ElementName(new ElementName, 'embed', 'embed', 48, true, false, false);
  FRAME_0 = $ElementName(new ElementName, 'frame', 'frame', 10, true, false, false);
  FALSE = $ElementName(new ElementName, 'false', 'false', 0, false, false, false);
  FLOOR = $ElementName(new ElementName, 'floor', 'floor', 0, false, false, false);
  GLYPH = $ElementName(new ElementName, 'glyph', 'glyph', 0, false, false, false);
  HKERN = $ElementName(new ElementName, 'hkern', 'hkern', 0, false, false, false);
  IMAGE = $ElementName(new ElementName, 'image', 'image', 12, true, false, false);
  IDENT = $ElementName(new ElementName, 'ident', 'ident', 0, false, false, false);
  INPUT = $ElementName(new ElementName, 'input', 'input', 13, true, false, false);
  LABEL_0 = $ElementName(new ElementName, 'label', 'label', 62, false, false, false);
  LIMIT = $ElementName(new ElementName, 'limit', 'limit', 0, false, false, false);
  MFRAC = $ElementName(new ElementName, 'mfrac', 'mfrac', 0, false, false, false);
  MPATH = $ElementName(new ElementName, 'mpath', 'mpath', 0, false, false, false);
  METER = $ElementName(new ElementName, 'meter', 'meter', 0, false, false, false);
  MOVER = $ElementName(new ElementName, 'mover', 'mover', 0, false, false, false);
  MINUS = $ElementName(new ElementName, 'minus', 'minus', 0, false, false, false);
  MROOT = $ElementName(new ElementName, 'mroot', 'mroot', 0, false, false, false);
  MSQRT = $ElementName(new ElementName, 'msqrt', 'msqrt', 0, false, false, false);
  MTEXT = $ElementName(new ElementName, 'mtext', 'mtext', 57, false, false, false);
  NOTIN = $ElementName(new ElementName, 'notin', 'notin', 0, false, false, false);
  PIECE = $ElementName(new ElementName, 'piece', 'piece', 0, false, false, false);
  PARAM = $ElementName(new ElementName, 'param', 'param', 55, true, false, false);
  POWER = $ElementName(new ElementName, 'power', 'power', 0, false, false, false);
  REALS = $ElementName(new ElementName, 'reals', 'reals', 0, false, false, false);
  STYLE_0 = $ElementName(new ElementName, 'style', 'style', 33, true, false, false);
  SMALL = $ElementName(new ElementName, 'small', 'small', 45, false, false, false);
  THEAD = $ElementName(new ElementName, 'thead', 'thead', 39, true, false, true);
  TABLE = $ElementName(new ElementName, 'table', 'table', 34, false, true, true);
  TITLE_0 = $ElementName(new ElementName, 'title', 'title', 36, true, false, false);
  TSPAN = $ElementName(new ElementName, 'tspan', 'tspan', 0, false, false, false);
  TIMES = $ElementName(new ElementName, 'times', 'times', 0, false, false, false);
  TFOOT = $ElementName(new ElementName, 'tfoot', 'tfoot', 39, true, false, true);
  TBODY = $ElementName(new ElementName, 'tbody', 'tbody', 39, true, false, true);
  UNION = $ElementName(new ElementName, 'union', 'union', 0, false, false, false);
  VKERN = $ElementName(new ElementName, 'vkern', 'vkern', 0, false, false, false);
  VIDEO = $ElementName(new ElementName, 'video', 'video', 0, false, false, false);
  ARCSEC = $ElementName(new ElementName, 'arcsec', 'arcsec', 0, false, false, false);
  ARCCSC = $ElementName(new ElementName, 'arccsc', 'arccsc', 0, false, false, false);
  ARCTAN = $ElementName(new ElementName, 'arctan', 'arctan', 0, false, false, false);
  ARCSIN = $ElementName(new ElementName, 'arcsin', 'arcsin', 0, false, false, false);
  ARCCOS = $ElementName(new ElementName, 'arccos', 'arccos', 0, false, false, false);
  APPLET = $ElementName(new ElementName, 'applet', 'applet', 43, false, true, false);
  ARCCOT = $ElementName(new ElementName, 'arccot', 'arccot', 0, false, false, false);
  APPROX = $ElementName(new ElementName, 'approx', 'approx', 0, false, false, false);
  BUTTON = $ElementName(new ElementName, 'button', 'button', 5, false, false, false);
  CIRCLE = $ElementName(new ElementName, 'circle', 'circle', 0, false, false, false);
  CENTER = $ElementName(new ElementName, 'center', 'center', 50, true, false, false);
  CURSOR_0 = $ElementName(new ElementName, 'cursor', 'cursor', 0, false, false, false);
  CANVAS = $ElementName(new ElementName, 'canvas', 'canvas', 0, false, false, false);
  DIVIDE = $ElementName(new ElementName, 'divide', 'divide', 0, false, false, false);
  DEGREE = $ElementName(new ElementName, 'degree', 'degree', 0, false, false, false);
  DOMAIN = $ElementName(new ElementName, 'domain', 'domain', 0, false, false, false);
  EXISTS = $ElementName(new ElementName, 'exists', 'exists', 0, false, false, false);
  FETILE = $ElementName(new ElementName, 'fetile', 'feTile', 0, false, false, false);
  FIGURE = $ElementName(new ElementName, 'figure', 'figure', 51, true, false, false);
  FORALL = $ElementName(new ElementName, 'forall', 'forall', 0, false, false, false);
  FILTER_0 = $ElementName(new ElementName, 'filter', 'filter', 0, false, false, false);
  FOOTER = $ElementName(new ElementName, 'footer', 'footer', 51, true, false, false);
  HGROUP = $ElementName(new ElementName, 'hgroup', 'hgroup', 51, true, false, false);
  HEADER = $ElementName(new ElementName, 'header', 'header', 51, true, false, false);
  IFRAME = $ElementName(new ElementName, 'iframe', 'iframe', 47, true, false, false);
  KEYGEN = $ElementName(new ElementName, 'keygen', 'keygen', 65, true, false, false);
  LAMBDA = $ElementName(new ElementName, 'lambda', 'lambda', 0, false, false, false);
  LEGEND = $ElementName(new ElementName, 'legend', 'legend', 0, false, false, false);
  MSPACE = $ElementName(new ElementName, 'mspace', 'mspace', 0, false, false, false);
  MTABLE = $ElementName(new ElementName, 'mtable', 'mtable', 0, false, false, false);
  MSTYLE = $ElementName(new ElementName, 'mstyle', 'mstyle', 0, false, false, false);
  MGLYPH = $ElementName(new ElementName, 'mglyph', 'mglyph', 56, false, false, false);
  MEDIAN = $ElementName(new ElementName, 'median', 'median', 0, false, false, false);
  MUNDER = $ElementName(new ElementName, 'munder', 'munder', 0, false, false, false);
  MARKER = $ElementName(new ElementName, 'marker', 'marker', 0, false, false, false);
  MERROR = $ElementName(new ElementName, 'merror', 'merror', 0, false, false, false);
  MOMENT = $ElementName(new ElementName, 'moment', 'moment', 0, false, false, false);
  MATRIX = $ElementName(new ElementName, 'matrix', 'matrix', 0, false, false, false);
  OPTION = $ElementName(new ElementName, 'option', 'option', 28, false, false, false);
  OBJECT_0 = $ElementName(new ElementName, 'object', 'object', 63, false, true, false);
  OUTPUT = $ElementName(new ElementName, 'output', 'output', 62, false, false, false);
  PRIMES = $ElementName(new ElementName, 'primes', 'primes', 0, false, false, false);
  SOURCE = $ElementName(new ElementName, 'source', 'source', 55, false, false, false);
  STRIKE = $ElementName(new ElementName, 'strike', 'strike', 45, false, false, false);
  STRONG = $ElementName(new ElementName, 'strong', 'strong', 45, false, false, false);
  SWITCH = $ElementName(new ElementName, 'switch', 'switch', 0, false, false, false);
  SYMBOL = $ElementName(new ElementName, 'symbol', 'symbol', 0, false, false, false);
  SPACER = $ElementName(new ElementName, 'spacer', 'spacer', 49, true, false, false);
  SELECT = $ElementName(new ElementName, 'select', 'select', 32, true, false, false);
  SUBSET = $ElementName(new ElementName, 'subset', 'subset', 0, false, false, false);
  SCRIPT = $ElementName(new ElementName, 'script', 'script', 31, true, false, false);
  TBREAK = $ElementName(new ElementName, 'tbreak', 'tbreak', 0, false, false, false);
  VECTOR = $ElementName(new ElementName, 'vector', 'vector', 0, false, false, false);
  ARTICLE = $ElementName(new ElementName, 'article', 'article', 51, true, false, false);
  ANIMATE = $ElementName(new ElementName, 'animate', 'animate', 0, false, false, false);
  ARCSECH = $ElementName(new ElementName, 'arcsech', 'arcsech', 0, false, false, false);
  ARCCSCH = $ElementName(new ElementName, 'arccsch', 'arccsch', 0, false, false, false);
  ARCTANH = $ElementName(new ElementName, 'arctanh', 'arctanh', 0, false, false, false);
  ARCSINH = $ElementName(new ElementName, 'arcsinh', 'arcsinh', 0, false, false, false);
  ARCCOSH = $ElementName(new ElementName, 'arccosh', 'arccosh', 0, false, false, false);
  ARCCOTH = $ElementName(new ElementName, 'arccoth', 'arccoth', 0, false, false, false);
  ACRONYM = $ElementName(new ElementName, 'acronym', 'acronym', 0, false, false, false);
  ADDRESS = $ElementName(new ElementName, 'address', 'address', 51, true, false, false);
  BGSOUND = $ElementName(new ElementName, 'bgsound', 'bgsound', 16, true, false, false);
  COMMAND = $ElementName(new ElementName, 'command', 'command', 54, true, false, false);
  COMPOSE = $ElementName(new ElementName, 'compose', 'compose', 0, false, false, false);
  CEILING = $ElementName(new ElementName, 'ceiling', 'ceiling', 0, false, false, false);
  CSYMBOL = $ElementName(new ElementName, 'csymbol', 'csymbol', 0, false, false, false);
  CAPTION = $ElementName(new ElementName, 'caption', 'caption', 6, false, true, false);
  DISCARD = $ElementName(new ElementName, 'discard', 'discard', 0, false, false, false);
  DECLARE_0 = $ElementName(new ElementName, 'declare', 'declare', 0, false, false, false);
  DETAILS = $ElementName(new ElementName, 'details', 'details', 51, true, false, false);
  ELLIPSE = $ElementName(new ElementName, 'ellipse', 'ellipse', 0, false, false, false);
  FEFUNCA = $ElementName(new ElementName, 'fefunca', 'feFuncA', 0, false, false, false);
  FEFUNCB = $ElementName(new ElementName, 'fefuncb', 'feFuncB', 0, false, false, false);
  FEBLEND = $ElementName(new ElementName, 'feblend', 'feBlend', 0, false, false, false);
  FEFLOOD = $ElementName(new ElementName, 'feflood', 'feFlood', 0, false, false, false);
  FEIMAGE = $ElementName(new ElementName, 'feimage', 'feImage', 0, false, false, false);
  FEMERGE = $ElementName(new ElementName, 'femerge', 'feMerge', 0, false, false, false);
  FEFUNCG = $ElementName(new ElementName, 'fefuncg', 'feFuncG', 0, false, false, false);
  FEFUNCR = $ElementName(new ElementName, 'fefuncr', 'feFuncR', 0, false, false, false);
  HANDLER = $ElementName(new ElementName, 'handler', 'handler', 0, false, false, false);
  INVERSE = $ElementName(new ElementName, 'inverse', 'inverse', 0, false, false, false);
  IMPLIES = $ElementName(new ElementName, 'implies', 'implies', 0, false, false, false);
  ISINDEX = $ElementName(new ElementName, 'isindex', 'isindex', 14, true, false, false);
  LOGBASE = $ElementName(new ElementName, 'logbase', 'logbase', 0, false, false, false);
  LISTING = $ElementName(new ElementName, 'listing', 'listing', 44, true, false, false);
  MFENCED = $ElementName(new ElementName, 'mfenced', 'mfenced', 0, false, false, false);
  MPADDED = $ElementName(new ElementName, 'mpadded', 'mpadded', 0, false, false, false);
  MARQUEE = $ElementName(new ElementName, 'marquee', 'marquee', 43, false, true, false);
  MACTION = $ElementName(new ElementName, 'maction', 'maction', 0, false, false, false);
  MSUBSUP = $ElementName(new ElementName, 'msubsup', 'msubsup', 0, false, false, false);
  NOEMBED = $ElementName(new ElementName, 'noembed', 'noembed', 60, true, false, false);
  POLYGON = $ElementName(new ElementName, 'polygon', 'polygon', 0, false, false, false);
  PATTERN_0 = $ElementName(new ElementName, 'pattern', 'pattern', 0, false, false, false);
  PRODUCT = $ElementName(new ElementName, 'product', 'product', 0, false, false, false);
  SETDIFF = $ElementName(new ElementName, 'setdiff', 'setdiff', 0, false, false, false);
  SECTION = $ElementName(new ElementName, 'section', 'section', 51, true, false, false);
  TENDSTO = $ElementName(new ElementName, 'tendsto', 'tendsto', 0, false, false, false);
  UPLIMIT = $ElementName(new ElementName, 'uplimit', 'uplimit', 0, false, false, false);
  ALTGLYPH = $ElementName(new ElementName, 'altglyph', 'altGlyph', 0, false, false, false);
  BASEFONT = $ElementName(new ElementName, 'basefont', 'basefont', 16, true, false, false);
  CLIPPATH = $ElementName(new ElementName, 'clippath', 'clipPath', 0, false, false, false);
  CODOMAIN = $ElementName(new ElementName, 'codomain', 'codomain', 0, false, false, false);
  COLGROUP = $ElementName(new ElementName, 'colgroup', 'colgroup', 8, true, false, false);
  DATAGRID = $ElementName(new ElementName, 'datagrid', 'datagrid', 51, true, false, false);
  EMPTYSET = $ElementName(new ElementName, 'emptyset', 'emptyset', 0, false, false, false);
  FACTOROF = $ElementName(new ElementName, 'factorof', 'factorof', 0, false, false, false);
  FIELDSET = $ElementName(new ElementName, 'fieldset', 'fieldset', 61, true, false, false);
  FRAMESET = $ElementName(new ElementName, 'frameset', 'frameset', 11, true, false, false);
  FEOFFSET = $ElementName(new ElementName, 'feoffset', 'feOffset', 0, false, false, false);
  GLYPHREF_0 = $ElementName(new ElementName, 'glyphref', 'glyphRef', 0, false, false, false);
  INTERVAL = $ElementName(new ElementName, 'interval', 'interval', 0, false, false, false);
  INTEGERS = $ElementName(new ElementName, 'integers', 'integers', 0, false, false, false);
  INFINITY = $ElementName(new ElementName, 'infinity', 'infinity', 0, false, false, false);
  LISTENER = $ElementName(new ElementName, 'listener', 'listener', 0, false, false, false);
  LOWLIMIT = $ElementName(new ElementName, 'lowlimit', 'lowlimit', 0, false, false, false);
  METADATA = $ElementName(new ElementName, 'metadata', 'metadata', 0, false, false, false);
  MENCLOSE = $ElementName(new ElementName, 'menclose', 'menclose', 0, false, false, false);
  MPHANTOM = $ElementName(new ElementName, 'mphantom', 'mphantom', 0, false, false, false);
  NOFRAMES = $ElementName(new ElementName, 'noframes', 'noframes', 25, true, false, false);
  NOSCRIPT = $ElementName(new ElementName, 'noscript', 'noscript', 26, true, false, false);
  OPTGROUP = $ElementName(new ElementName, 'optgroup', 'optgroup', 27, true, false, false);
  POLYLINE = $ElementName(new ElementName, 'polyline', 'polyline', 0, false, false, false);
  PREFETCH = $ElementName(new ElementName, 'prefetch', 'prefetch', 0, false, false, false);
  PROGRESS = $ElementName(new ElementName, 'progress', 'progress', 0, false, false, false);
  PRSUBSET = $ElementName(new ElementName, 'prsubset', 'prsubset', 0, false, false, false);
  QUOTIENT = $ElementName(new ElementName, 'quotient', 'quotient', 0, false, false, false);
  SELECTOR = $ElementName(new ElementName, 'selector', 'selector', 0, false, false, false);
  TEXTAREA = $ElementName(new ElementName, 'textarea', 'textarea', 35, true, false, false);
  TEXTPATH = $ElementName(new ElementName, 'textpath', 'textPath', 0, false, false, false);
  VARIANCE = $ElementName(new ElementName, 'variance', 'variance', 0, false, false, false);
  ANIMATION = $ElementName(new ElementName, 'animation', 'animation', 0, false, false, false);
  CONJUGATE = $ElementName(new ElementName, 'conjugate', 'conjugate', 0, false, false, false);
  CONDITION = $ElementName(new ElementName, 'condition', 'condition', 0, false, false, false);
  COMPLEXES = $ElementName(new ElementName, 'complexes', 'complexes', 0, false, false, false);
  FONT_FACE = $ElementName(new ElementName, 'font-face', 'font-face', 0, false, false, false);
  FACTORIAL = $ElementName(new ElementName, 'factorial', 'factorial', 0, false, false, false);
  INTERSECT = $ElementName(new ElementName, 'intersect', 'intersect', 0, false, false, false);
  IMAGINARY = $ElementName(new ElementName, 'imaginary', 'imaginary', 0, false, false, false);
  LAPLACIAN = $ElementName(new ElementName, 'laplacian', 'laplacian', 0, false, false, false);
  MATRIXROW = $ElementName(new ElementName, 'matrixrow', 'matrixrow', 0, false, false, false);
  NOTSUBSET = $ElementName(new ElementName, 'notsubset', 'notsubset', 0, false, false, false);
  OTHERWISE = $ElementName(new ElementName, 'otherwise', 'otherwise', 0, false, false, false);
  PIECEWISE = $ElementName(new ElementName, 'piecewise', 'piecewise', 0, false, false, false);
  PLAINTEXT = $ElementName(new ElementName, 'plaintext', 'plaintext', 30, true, false, false);
  RATIONALS = $ElementName(new ElementName, 'rationals', 'rationals', 0, false, false, false);
  SEMANTICS = $ElementName(new ElementName, 'semantics', 'semantics', 0, false, false, false);
  TRANSPOSE = $ElementName(new ElementName, 'transpose', 'transpose', 0, false, false, false);
  ANNOTATION = $ElementName(new ElementName, 'annotation', 'annotation', 0, false, false, false);
  BLOCKQUOTE = $ElementName(new ElementName, 'blockquote', 'blockquote', 50, true, false, false);
  DIVERGENCE = $ElementName(new ElementName, 'divergence', 'divergence', 0, false, false, false);
  EULERGAMMA = $ElementName(new ElementName, 'eulergamma', 'eulergamma', 0, false, false, false);
  EQUIVALENT = $ElementName(new ElementName, 'equivalent', 'equivalent', 0, false, false, false);
  IMAGINARYI = $ElementName(new ElementName, 'imaginaryi', 'imaginaryi', 0, false, false, false);
  MALIGNMARK = $ElementName(new ElementName, 'malignmark', 'malignmark', 56, false, false, false);
  MUNDEROVER = $ElementName(new ElementName, 'munderover', 'munderover', 0, false, false, false);
  MLABELEDTR = $ElementName(new ElementName, 'mlabeledtr', 'mlabeledtr', 0, false, false, false);
  NOTANUMBER = $ElementName(new ElementName, 'notanumber', 'notanumber', 0, false, false, false);
  SOLIDCOLOR = $ElementName(new ElementName, 'solidcolor', 'solidcolor', 0, false, false, false);
  ALTGLYPHDEF = $ElementName(new ElementName, 'altglyphdef', 'altGlyphDef', 0, false, false, false);
  DETERMINANT = $ElementName(new ElementName, 'determinant', 'determinant', 0, false, false, false);
  FEMERGENODE = $ElementName(new ElementName, 'femergenode', 'feMergeNode', 0, false, false, false);
  FECOMPOSITE = $ElementName(new ElementName, 'fecomposite', 'feComposite', 0, false, false, false);
  FESPOTLIGHT = $ElementName(new ElementName, 'fespotlight', 'feSpotLight', 0, false, false, false);
  MALIGNGROUP = $ElementName(new ElementName, 'maligngroup', 'maligngroup', 0, false, false, false);
  MPRESCRIPTS = $ElementName(new ElementName, 'mprescripts', 'mprescripts', 0, false, false, false);
  MOMENTABOUT = $ElementName(new ElementName, 'momentabout', 'momentabout', 0, false, false, false);
  NOTPRSUBSET = $ElementName(new ElementName, 'notprsubset', 'notprsubset', 0, false, false, false);
  PARTIALDIFF = $ElementName(new ElementName, 'partialdiff', 'partialdiff', 0, false, false, false);
  ALTGLYPHITEM = $ElementName(new ElementName, 'altglyphitem', 'altGlyphItem', 0, false, false, false);
  ANIMATECOLOR = $ElementName(new ElementName, 'animatecolor', 'animateColor', 0, false, false, false);
  DATATEMPLATE = $ElementName(new ElementName, 'datatemplate', 'datatemplate', 0, false, false, false);
  EXPONENTIALE = $ElementName(new ElementName, 'exponentiale', 'exponentiale', 0, false, false, false);
  FETURBULENCE = $ElementName(new ElementName, 'feturbulence', 'feTurbulence', 0, false, false, false);
  FEPOINTLIGHT = $ElementName(new ElementName, 'fepointlight', 'fePointLight', 0, false, false, false);
  FEMORPHOLOGY = $ElementName(new ElementName, 'femorphology', 'feMorphology', 0, false, false, false);
  OUTERPRODUCT = $ElementName(new ElementName, 'outerproduct', 'outerproduct', 0, false, false, false);
  ANIMATEMOTION = $ElementName(new ElementName, 'animatemotion', 'animateMotion', 0, false, false, false);
  COLOR_PROFILE_0 = $ElementName(new ElementName, 'color-profile', 'color-profile', 0, false, false, false);
  FONT_FACE_SRC = $ElementName(new ElementName, 'font-face-src', 'font-face-src', 0, false, false, false);
  FONT_FACE_URI = $ElementName(new ElementName, 'font-face-uri', 'font-face-uri', 0, false, false, false);
  FOREIGNOBJECT = $ElementName(new ElementName, 'foreignobject', 'foreignObject', 59, false, false, false);
  FECOLORMATRIX = $ElementName(new ElementName, 'fecolormatrix', 'feColorMatrix', 0, false, false, false);
  MISSING_GLYPH = $ElementName(new ElementName, 'missing-glyph', 'missing-glyph', 0, false, false, false);
  MMULTISCRIPTS = $ElementName(new ElementName, 'mmultiscripts', 'mmultiscripts', 0, false, false, false);
  SCALARPRODUCT = $ElementName(new ElementName, 'scalarproduct', 'scalarproduct', 0, false, false, false);
  VECTORPRODUCT = $ElementName(new ElementName, 'vectorproduct', 'vectorproduct', 0, false, false, false);
  ANNOTATION_XML = $ElementName(new ElementName, 'annotation-xml', 'annotation-xml', 58, false, false, false);
  DEFINITION_SRC = $ElementName(new ElementName, 'definition-src', 'definition-src', 0, false, false, false);
  FONT_FACE_NAME = $ElementName(new ElementName, 'font-face-name', 'font-face-name', 0, false, false, false);
  FEGAUSSIANBLUR = $ElementName(new ElementName, 'fegaussianblur', 'feGaussianBlur', 0, false, false, false);
  FEDISTANTLIGHT = $ElementName(new ElementName, 'fedistantlight', 'feDistantLight', 0, false, false, false);
  LINEARGRADIENT = $ElementName(new ElementName, 'lineargradient', 'linearGradient', 0, false, false, false);
  NATURALNUMBERS = $ElementName(new ElementName, 'naturalnumbers', 'naturalnumbers', 0, false, false, false);
  RADIALGRADIENT = $ElementName(new ElementName, 'radialgradient', 'radialGradient', 0, false, false, false);
  ANIMATETRANSFORM = $ElementName(new ElementName, 'animatetransform', 'animateTransform', 0, false, false, false);
  CARTESIANPRODUCT = $ElementName(new ElementName, 'cartesianproduct', 'cartesianproduct', 0, false, false, false);
  FONT_FACE_FORMAT = $ElementName(new ElementName, 'font-face-format', 'font-face-format', 0, false, false, false);
  FECONVOLVEMATRIX = $ElementName(new ElementName, 'feconvolvematrix', 'feConvolveMatrix', 0, false, false, false);
  FEDIFFUSELIGHTING = $ElementName(new ElementName, 'fediffuselighting', 'feDiffuseLighting', 0, false, false, false);
  FEDISPLACEMENTMAP = $ElementName(new ElementName, 'fedisplacementmap', 'feDisplacementMap', 0, false, false, false);
  FESPECULARLIGHTING = $ElementName(new ElementName, 'fespecularlighting', 'feSpecularLighting', 0, false, false, false);
  DOMAINOFAPPLICATION = $ElementName(new ElementName, 'domainofapplication', 'domainofapplication', 0, false, false, false);
  FECOMPONENTTRANSFER = $ElementName(new ElementName, 'fecomponenttransfer', 'feComponentTransfer', 0, false, false, false);
  ELEMENT_NAMES = initValues(_3Lnu_validator_htmlparser_impl_ElementName_2_classLit, 61, 14, [A, B, G, I, P, Q, S, U, BR, CI, CN, DD, DL, DT, EM, EQ, FN, H1, H2, H3, H4, H5, H6, GT, HR, IN_0, LI, LN, LT, MI, MN, MO, MS, OL, OR, PI, RP, RT_0, TD, TH, TR, TT, UL, AND, ARG, ABS, BIG, BDO, CSC, COL, COS, COT, DEL, DFN, DIR_0, DIV, EXP, GCD, GEQ, IMG, INS, INT, KBD, LOG, LCM, LEQ, MTD, MIN_0, MAP, MTR, MAX_0, NEQ, NOT, NAV, PRE, REM, SUB, SEC, SVG, SUM, SIN, SEP, SUP, SET, TAN, USE, VAR, WBR, XMP, XOR, AREA, ABBR_0, BASE_0, BVAR, BODY, CARD, CODE_0, CITE_0, CSCH, COSH, COTH, CURL, DESC, DIFF, DEFS, FORM_0, FONT, GRAD, HEAD, HTML_0, LINE, LINK_0, LIST_0, META, MSUB, MODE_0, MATH, MARK, MASK_0, MEAN, MSUP, MENU, MROW, NONE, NOBR, NEST, PATH_0, PLUS, RULE, REAL, RELN, RECT, ROOT, RUBY, SECH, SINH, SPAN_0, SAMP, STOP, SDEV, TIME, TRUE, TREF, TANH, TEXT_0, VIEW, ASIDE, AUDIO, APPLY, EMBED, FRAME_0, FALSE, FLOOR, GLYPH, HKERN, IMAGE, IDENT, INPUT, LABEL_0, LIMIT, MFRAC, MPATH, METER, MOVER, MINUS, MROOT, MSQRT, MTEXT, NOTIN, PIECE, PARAM, POWER, REALS, STYLE_0, SMALL, THEAD, TABLE, TITLE_0, TSPAN, TIMES, TFOOT, TBODY, UNION, VKERN, VIDEO, ARCSEC, ARCCSC, ARCTAN, ARCSIN, ARCCOS, APPLET, ARCCOT, APPROX, BUTTON, CIRCLE, CENTER, CURSOR_0, CANVAS, DIVIDE, DEGREE, DOMAIN, EXISTS, FETILE, FIGURE, FORALL, FILTER_0, FOOTER, HGROUP, HEADER, IFRAME, KEYGEN, LAMBDA, LEGEND, MSPACE, MTABLE, MSTYLE, MGLYPH, MEDIAN, MUNDER, MARKER, MERROR, MOMENT, MATRIX, OPTION, OBJECT_0, OUTPUT, PRIMES, SOURCE, STRIKE, STRONG, SWITCH, SYMBOL, SPACER, SELECT, SUBSET, SCRIPT, TBREAK, VECTOR, ARTICLE, ANIMATE, ARCSECH, ARCCSCH, ARCTANH, ARCSINH, ARCCOSH, ARCCOTH, ACRONYM, ADDRESS, BGSOUND, COMMAND, COMPOSE, CEILING, CSYMBOL, CAPTION, DISCARD, DECLARE_0, DETAILS, ELLIPSE, FEFUNCA, FEFUNCB, FEBLEND, FEFLOOD, FEIMAGE, FEMERGE, FEFUNCG, FEFUNCR, HANDLER, INVERSE, IMPLIES, ISINDEX, LOGBASE, LISTING, MFENCED, MPADDED, MARQUEE, MACTION, MSUBSUP, NOEMBED, POLYGON, PATTERN_0, PRODUCT, SETDIFF, SECTION, TENDSTO, UPLIMIT, ALTGLYPH, BASEFONT, CLIPPATH, CODOMAIN, COLGROUP, DATAGRID, EMPTYSET, FACTOROF, FIELDSET, FRAMESET, FEOFFSET, GLYPHREF_0, INTERVAL, INTEGERS, INFINITY, LISTENER, LOWLIMIT, METADATA, MENCLOSE, MPHANTOM, NOFRAMES, NOSCRIPT, OPTGROUP, POLYLINE, PREFETCH, PROGRESS, PRSUBSET, QUOTIENT, SELECTOR, TEXTAREA, TEXTPATH, VARIANCE, ANIMATION, CONJUGATE, CONDITION, COMPLEXES, FONT_FACE, FACTORIAL, INTERSECT, IMAGINARY, LAPLACIAN, MATRIXROW, NOTSUBSET, OTHERWISE, PIECEWISE, PLAINTEXT, RATIONALS, SEMANTICS, TRANSPOSE, ANNOTATION, BLOCKQUOTE, DIVERGENCE, EULERGAMMA, EQUIVALENT, IMAGINARYI, MALIGNMARK, MUNDEROVER, MLABELEDTR, NOTANUMBER, SOLIDCOLOR, ALTGLYPHDEF, DETERMINANT, FEMERGENODE, FECOMPOSITE, FESPOTLIGHT, MALIGNGROUP, MPRESCRIPTS, MOMENTABOUT, NOTPRSUBSET, PARTIALDIFF, ALTGLYPHITEM, ANIMATECOLOR, DATATEMPLATE, EXPONENTIALE, FETURBULENCE, FEPOINTLIGHT, FEMORPHOLOGY, OUTERPRODUCT, ANIMATEMOTION, COLOR_PROFILE_0, FONT_FACE_SRC, FONT_FACE_URI, FOREIGNOBJECT, FECOLORMATRIX, MISSING_GLYPH, MMULTISCRIPTS, SCALARPRODUCT, VECTORPRODUCT, ANNOTATION_XML, DEFINITION_SRC, FONT_FACE_NAME, FEGAUSSIANBLUR, FEDISTANTLIGHT, LINEARGRADIENT, NATURALNUMBERS, RADIALGRADIENT, ANIMATETRANSFORM, CARTESIANPRODUCT, FONT_FACE_FORMAT, FECONVOLVEMATRIX, FEDIFFUSELIGHTING, FEDISPLACEMENTMAP, FESPECULARLIGHTING, DOMAINOFAPPLICATION, FECOMPONENTTRANSFER]);
  ELEMENT_HASHES = initValues(_3I_classLit, 49, -1, [1057, 1090, 1255, 1321, 1552, 1585, 1651, 1717, 68162, 68899, 69059, 69764, 70020, 70276, 71077, 71205, 72134, 72232, 72264, 72296, 72328, 72360, 72392, 73351, 74312, 75209, 78124, 78284, 78476, 79149, 79309, 79341, 79469, 81295, 81487, 82224, 84498, 84626, 86164, 86292, 86612, 86676, 87445, 3183041, 3186241, 3198017, 3218722, 3226754, 3247715, 3256803, 3263971, 3264995, 3289252, 3291332, 3295524, 3299620, 3326725, 3379303, 3392679, 3448233, 3460553, 3461577, 3510347, 3546604, 3552364, 3556524, 3576461, 3586349, 3588141, 3590797, 3596333, 3622062, 3625454, 3627054, 3675728, 3749042, 3771059, 3771571, 3776211, 3782323, 3782963, 3784883, 3785395, 3788979, 3815476, 3839605, 3885110, 3917911, 3948984, 3951096, 135304769, 135858241, 136498210, 136906434, 137138658, 137512995, 137531875, 137548067, 137629283, 137645539, 137646563, 137775779, 138529956, 138615076, 139040932, 140954086, 141179366, 141690439, 142738600, 143013512, 146979116, 147175724, 147475756, 147902637, 147936877, 148017645, 148131885, 148228141, 148229165, 148309165, 148395629, 148551853, 148618829, 149076462, 149490158, 149572782, 151277616, 151639440, 153268914, 153486514, 153563314, 153750706, 153763314, 153914034, 154406067, 154417459, 154600979, 154678323, 154680979, 154866835, 155366708, 155375188, 155391572, 155465780, 155869364, 158045494, 168988979, 169321621, 169652752, 173151309, 174240818, 174247297, 174669292, 175391532, 176638123, 177380397, 177879204, 177886734, 180753473, 181020073, 181503558, 181686320, 181999237, 181999311, 182048201, 182074866, 182078003, 182083764, 182920847, 184716457, 184976961, 185145071, 187281445, 187872052, 188100653, 188875944, 188919873, 188920457, 189203987, 189371817, 189414886, 189567458, 190266670, 191318187, 191337609, 202479203, 202493027, 202835587, 202843747, 203013219, 203036048, 203045987, 203177552, 203898516, 204648562, 205067918, 205078130, 205096654, 205689142, 205690439, 205988909, 207213161, 207794484, 207800999, 208023602, 208213644, 208213647, 210261490, 210310273, 210940978, 213325049, 213946445, 214055079, 215125040, 215134273, 215135028, 215237420, 215418148, 215553166, 215553394, 215563858, 215627949, 215754324, 217529652, 217713834, 217732628, 218731945, 221417045, 221424946, 221493746, 221515401, 221658189, 221844577, 221908140, 221910626, 221921586, 222659762, 225001091, 236105833, 236113965, 236194995, 236195427, 236206132, 236206387, 236211683, 236212707, 236381647, 236571826, 237124271, 238172205, 238210544, 238270764, 238435405, 238501172, 239224867, 239257644, 239710497, 240307721, 241208789, 241241557, 241318060, 241319404, 241343533, 241344069, 241405397, 241765845, 243864964, 244502085, 244946220, 245109902, 247647266, 247707956, 248648814, 248648836, 248682161, 248986932, 249058914, 249697357, 252132601, 252135604, 252317348, 255007012, 255278388, 256365156, 257566121, 269763372, 271202790, 271863856, 272049197, 272127474, 272770631, 274339449, 274939471, 275388004, 275388005, 275388006, 275977800, 278267602, 278513831, 278712622, 281613765, 281683369, 282120228, 282250732, 282508942, 283743649, 283787570, 284710386, 285391148, 285478533, 285854898, 285873762, 286931113, 288964227, 289445441, 289689648, 291671489, 303512884, 305319975, 305610036, 305764101, 308448294, 308675890, 312085683, 312264750, 315032867, 316391000, 317331042, 317902135, 318950711, 319447220, 321499182, 322538804, 323145200, 337067316, 337826293, 339905989, 340833697, 341457068, 345302593, 349554733, 349771471, 349786245, 350819405, 356072847, 370349192, 373962798, 375558638, 375574835, 376053993, 383276530, 383373833, 383407586, 384439906, 386079012, 404133513, 404307343, 407031852, 408072233, 409112005, 409608425, 409771500, 419040932, 437730612, 439529766, 442616365, 442813037, 443157674, 443295316, 450118444, 450482697, 456789668, 459935396, 471217869, 474073645, 476230702, 476665218, 476717289, 483014825, 485083298, 489306281, 538364390, 540675748, 543819186, 543958612, 576960820, 577242548, 610515252, 642202932, 644420819]);
}

function $ElementName(this$static, name_0, camelCaseName, group, special, scoping, fosterParenting){
  $clinit_125();
  this$static.name_0 = name_0;
  this$static.camelCaseName = camelCaseName;
  this$static.group = group;
  this$static.special = special;
  this$static.scoping = scoping;
  this$static.fosterParenting = fosterParenting;
  this$static.custom = false;
  return this$static;
}

function $ElementName_0(this$static, name_0){
  $clinit_125();
  this$static.name_0 = name_0;
  this$static.camelCaseName = name_0;
  this$static.group = 0;
  this$static.special = false;
  this$static.scoping = false;
  this$static.fosterParenting = false;
  this$static.custom = true;
  return this$static;
}

function bufToHash_0(buf, len){
  var hash, i, j;
  hash = len;
  hash <<= 5;
  hash += buf[0] - 96;
  j = len;
  for (i = 0; i < 4 && j > 0; ++i) {
    --j;
    hash <<= 5;
    hash += buf[j] - 96;
  }
  return hash;
}

function elementNameByBuffer(buf, offset, length_0){
  var end, end_0;
  $clinit_125();
  var elementName, hash, index, name_0;
  hash = bufToHash_0(buf, length_0);
  index = binarySearch(ELEMENT_HASHES, hash);
  if (index < 0) {
    return $ElementName_0(new ElementName, String((end = offset + length_0 , __checkBounds(buf.length, offset, end) , __valueOf(buf, offset, end))));
  }
   else {
    elementName = ELEMENT_NAMES[index];
    name_0 = elementName.name_0;
    if (!localEqualsBuffer(name_0, buf, offset, length_0)) {
      return $ElementName_0(new ElementName, String((end_0 = offset + length_0 , __checkBounds(buf.length, offset, end_0) , __valueOf(buf, offset, end_0))));
    }
    return elementName;
  }
}

function getClass_68(){
  return Lnu_validator_htmlparser_impl_ElementName_2_classLit;
}

function ElementName(){
}

_ = ElementName.prototype = new Object_0;
_.getClass$ = getClass_68;
_.typeId$ = 40;
_.camelCaseName = null;
_.custom = false;
_.fosterParenting = false;
_.group = 0;
_.name_0 = null;
_.scoping = false;
_.special = false;
var A, ABBR_0, ABS, ACRONYM, ADDRESS, ALTGLYPH, ALTGLYPHDEF, ALTGLYPHITEM, AND, ANIMATE, ANIMATECOLOR, ANIMATEMOTION, ANIMATETRANSFORM, ANIMATION, ANNOTATION, ANNOTATION_XML, APPLET, APPLY, APPROX, ARCCOS, ARCCOSH, ARCCOT, ARCCOTH, ARCCSC, ARCCSCH, ARCSEC, ARCSECH, ARCSIN, ARCSINH, ARCTAN, ARCTANH, AREA, ARG, ARTICLE, ASIDE, AUDIO, B, BASE_0, BASEFONT, BDO, BGSOUND, BIG, BLOCKQUOTE, BODY, BR, BUTTON, BVAR, CANVAS, CAPTION, CARD, CARTESIANPRODUCT, CEILING, CENTER, CI, CIRCLE, CITE_0, CLIPPATH, CN, CODE_0, CODOMAIN, COL, COLGROUP, COLOR_PROFILE_0, COMMAND, COMPLEXES, COMPOSE, CONDITION, CONJUGATE, COS, COSH, COT, COTH, CSC, CSCH, CSYMBOL, CURL, CURSOR_0, DATAGRID, DATATEMPLATE, DD, DECLARE_0, DEFINITION_SRC, DEFS, DEGREE, DEL, DESC, DETAILS, DETERMINANT, DFN, DIFF, DIR_0, DISCARD, DIV, DIVERGENCE, DIVIDE, DL, DOMAIN, DOMAINOFAPPLICATION, DT, ELEMENT_HASHES, ELEMENT_NAMES, ELLIPSE, EM, EMBED, EMPTYSET, EQ, EQUIVALENT, EULERGAMMA, EXISTS, EXP, EXPONENTIALE, FACTORIAL, FACTOROF, FALSE, FEBLEND, FECOLORMATRIX, FECOMPONENTTRANSFER, FECOMPOSITE, FECONVOLVEMATRIX, FEDIFFUSELIGHTING, FEDISPLACEMENTMAP, FEDISTANTLIGHT, FEFLOOD, FEFUNCA, FEFUNCB, FEFUNCG, FEFUNCR, FEGAUSSIANBLUR, FEIMAGE, FEMERGE, FEMERGENODE, FEMORPHOLOGY, FEOFFSET, FEPOINTLIGHT, FESPECULARLIGHTING, FESPOTLIGHT, FETILE, FETURBULENCE, FIELDSET, FIGURE, FILTER_0, FLOOR, FN, FONT, FONT_FACE, FONT_FACE_FORMAT, FONT_FACE_NAME, FONT_FACE_SRC, FONT_FACE_URI, FOOTER, FORALL, FOREIGNOBJECT, FORM_0, FRAME_0, FRAMESET, G, GCD, GEQ, GLYPH, GLYPHREF_0, GRAD, GT, H1, H2, H3, H4, H5, H6, HANDLER, HEAD, HEADER, HGROUP, HKERN, HR, HTML_0, I, IDENT, IFRAME, IMAGE, IMAGINARY, IMAGINARYI, IMG, IMPLIES, IN_0, INFINITY, INPUT, INS, INT, INTEGERS, INTERSECT, INTERVAL, INVERSE, ISINDEX, KBD, KEYGEN, LABEL_0, LAMBDA, LAPLACIAN, LCM, LEGEND, LEQ, LI, LIMIT, LINE, LINEARGRADIENT, LINK_0, LIST_0, LISTENER, LISTING, LN, LOG, LOGBASE, LOWLIMIT, LT, MACTION, MALIGNGROUP, MALIGNMARK, MAP, MARK, MARKER, MARQUEE, MASK_0, MATH, MATRIX, MATRIXROW, MAX_0, MEAN, MEDIAN, MENCLOSE, MENU, MERROR, META, METADATA, METER, MFENCED, MFRAC, MGLYPH, MI, MIN_0, MINUS, MISSING_GLYPH, MLABELEDTR, MMULTISCRIPTS, MN, MO, MODE_0, MOMENT, MOMENTABOUT, MOVER, MPADDED, MPATH, MPHANTOM, MPRESCRIPTS, MROOT, MROW, MS, MSPACE, MSQRT, MSTYLE, MSUB, MSUBSUP, MSUP, MTABLE, MTD, MTEXT, MTR, MUNDER, MUNDEROVER, NATURALNUMBERS, NAV, NEQ, NEST, NOBR, NOEMBED, NOFRAMES, NONE, NOSCRIPT, NOT, NOTANUMBER, NOTIN, NOTPRSUBSET, NOTSUBSET, OBJECT_0, OL, OPTGROUP, OPTION, OR, OTHERWISE, OUTERPRODUCT, OUTPUT, P, PARAM, PARTIALDIFF, PATH_0, PATTERN_0, PI, PIECE, PIECEWISE, PLAINTEXT, PLUS, POLYGON, POLYLINE, POWER, PRE, PREFETCH, PRIMES, PRODUCT, PROGRESS, PRSUBSET, Q, QUOTIENT, RADIALGRADIENT, RATIONALS, REAL, REALS, RECT, RELN, REM, ROOT, RP, RT_0, RUBY, RULE, S, SAMP, SCALARPRODUCT, SCRIPT, SDEV, SEC, SECH, SECTION, SELECT, SELECTOR, SEMANTICS, SEP, SET, SETDIFF, SIN, SINH, SMALL, SOLIDCOLOR, SOURCE, SPACER, SPAN_0, STOP, STRIKE, STRONG, STYLE_0, SUB, SUBSET, SUM, SUP, SVG, SWITCH, SYMBOL, TABLE, TAN, TANH, TBODY, TBREAK, TD, TENDSTO, TEXT_0, TEXTAREA, TEXTPATH, TFOOT, TH, THEAD, TIME, TIMES, TITLE_0, TR, TRANSPOSE, TREF, TRUE, TSPAN, TT, U, UL, UNION, UPLIMIT, USE, VAR, VARIANCE, VECTOR, VECTORPRODUCT, VIDEO, VIEW, VKERN, WBR, XMP, XOR;
